Control lock

Results: 1096



#Item
201Computing / Data / Linearizability / Serializability / Transactional memory / Lock / Thread safety / Non-blocking algorithm / Atomicity / Concurrency control / Transaction processing / Data management

Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-05-12 14:18:02
202Thread / Java Platform /  Standard Edition / Java / Lock / Aeolus / Fork / Parallel computing / Exception handling / Computing / Concurrency control / Concurrent computing

Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012

Add to Reading List

Source URL: www.pmg.lcs.mit.edu

Language: English - Date: 2012-09-18 11:16:47
203Concurrency control / Threads / Spinlock / Monitor / Non-blocking algorithm / Lock / Futures and promises / Critical section / Parallel computing / Computing / Concurrent computing / Computer programming

Light-Weight Execution Agents Revision 3 Document number: Revises: Date:

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-10-13 05:27:58
204Payment systems / Crimes / Identity / Identity theft / Theft / Credit card / Automated teller machine / Phishing / Internet privacy / Electronic commerce / Business / Technology

TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets What does ‘mutual’ mean to me?

Add to Reading List

Source URL: assets.lcu.com.au

Language: English - Date: 2013-10-28 07:03:15
205Automotive engineering / Hardware-in-the-loop simulation / Electronic stability control / Anti-lock braking system / Vehicle dynamics / Simulation / Electronic brakeforce distribution / Transport / Mechanical engineering / Land transport

66 HIL tests for truck ESC Figure 1 (Top): A truckSim animation of a test vehicle

Add to Reading List

Source URL: www.carsim.com

Language: English - Date: 2012-08-15 16:44:57
206Data / Information / Data management / Databases / Linearizability / Lock / Parallel computing / Serializability / Mereology / Concurrency control / Transaction processing / Computing

Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith

Add to Reading List

Source URL: icaps11.icaps-conference.org

Language: English - Date: 2013-04-15 04:52:48
207Payment systems / Crimes / Identity / Identity theft / Theft / Credit card / Automated teller machine / Phishing / Internet privacy / Electronic commerce / Business / Technology

TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets What does ‘mutual’ mean to me?

Add to Reading List

Source URL: www.eecu.com.au

Language: English - Date: 2010-05-09 21:18:18
208Computer programming / Concurrency / Threads / Parallel computing / Java Pathfinder / Monitor / Producer-consumer problem / Model checking / Lock / Computing / Concurrent computing / Concurrency control

C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-05-12 14:22:49
209Concurrency / Deadlock / Batch processing / Lock / Computer programming / IBM DB2 / Concurrency control / Computing / Concurrent computing

SoftBase Logo white w Tag

Add to Reading List

Source URL: www.softbase.com

Language: English - Date: 2011-10-19 08:36:30
210Software engineering / Thread / Monitor / Lock / Mutual exclusion / Reentrant mutex / Producer-consumer problem / Concurrency control / Computing / Computer programming

Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile. Chapter 16

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2013-08-29 15:48:40
UPDATE